l\_subset($T$;${\it as}$;${\it bs}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$T$. ($x$ $\in$ ${\it as}$) $\Rightarrow$ ($x$ $\in$ ${\it bs}$)